1

Godel’s theorem: an incomplete guide to its use and abuse

Osmo Pekonen, Torkel Franzèn, Gary Mar
Journal:
The Mathematical Intelligencer
Year:
2007
Language:
english
File:
PDF, 625 KB
english, 2007
2

An Intuitionistic Predicate Logic Theorem Prover

SAHLIN, AN, FRANZÉN, TORKEL, HARIDI, SEIF
Journal:
Journal of Logic and Computation
Year:
1992
Language:
english
File:
PDF, 2.04 MB
english, 1992
4

Transfinite Progressions: A Second Look at Completeness

Torkel Franzén
Journal:
Bulletin of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 469 KB
english, 2004
5

Transfinite Progressions: A Second Look at Completeness

Franzén, Torkel
Journal:
Bulletin of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 230 KB
english, 2004
6

Inexhaustibility (A Non-Exhaustive Treatment) || Introduction

Franzen, Torkel
Year:
2016
Language:
english
File:
PDF, 105 KB
english, 2016
7

Inexhaustibility (A Non-Exhaustive Treatment) || Iterated consistency

Franzen, Torkel
Year:
2016
Language:
english
File:
PDF, 135 KB
english, 2016
8

Inexhaustibility (A Non-Exhaustive Treatment) || Ordinals and inductive definitions

Franzen, Torkel
Year:
2016
Language:
english
File:
PDF, 137 KB
english, 2016
9

Inexhaustibility (A Non-Exhaustive Treatment) || Formal languages and the definition of truth

Franzen, Torkel
Year:
2016
Language:
english
File:
PDF, 119 KB
english, 2016
10

Inexhaustibility (A Non-Exhaustive Treatment) || Elementary and classical analysis

Franzen, Torkel
Year:
2016
Language:
english
File:
PDF, 102 KB
english, 2016
11

Inexhaustibility (A Non-Exhaustive Treatment) || Preface

Franzen, Torkel
Year:
2016
Language:
english
File:
PDF, 34 KB
english, 2016
12

Inexhaustibility (A Non-Exhaustive Treatment) || Arithmetical preliminaries

Franzen, Torkel
Year:
2016
Language:
english
File:
PDF, 156 KB
english, 2016
13

Inexhaustibility (A Non-Exhaustive Treatment) || Iterated reflection

Franzen, Torkel
Year:
2016
Language:
english
File:
PDF, 181 KB
english, 2016
14

Inexhaustibility (A Non-Exhaustive Treatment) || The incompleteness theorems

Franzen, Torkel
Year:
2016
Language:
english
File:
PDF, 128 KB
english, 2016
15

Inexhaustibility (A Non-Exhaustive Treatment) || Peano Arithmetic and computability

Franzen, Torkel
Year:
2016
Language:
english
File:
PDF, 225 KB
english, 2016
16

Inexhaustibility (A Non-Exhaustive Treatment) || Logic and theories

Franzen, Torkel
Year:
2016
Language:
english
File:
PDF, 172 KB
english, 2016
17

Inexhaustibility (A Non-Exhaustive Treatment) || The language of analysis

Franzen, Torkel
Year:
2016
Language:
english
File:
PDF, 109 KB
english, 2016
18

Inexhaustibility (A Non-Exhaustive Treatment) || The language of arithmetic

Franzen, Torkel
Year:
2016
Language:
english
File:
PDF, 145 KB
english, 2016
19

Inexhaustibility (A Non-Exhaustive Treatment) || References

Franzen, Torkel
Year:
2016
Language:
english
File:
PDF, 48 KB
english, 2016
20

Inexhaustibility (A Non-Exhaustive Treatment) || Primes and proofs

Franzen, Torkel
Year:
2016
Language:
english
File:
PDF, 114 KB
english, 2016
21

Inexhaustibility (A Non-Exhaustive Treatment) || Iterated iteration and inexhaustibility

Franzen, Torkel
Year:
2016
Language:
english
File:
PDF, 183 KB
english, 2016
22

Inexhaustibility (A Non-Exhaustive Treatment) || The recursion theorem and ordinal notations

Franzen, Torkel
Year:
2016
Language:
english
File:
PDF, 171 KB
english, 2016